Description

This PR:

• Adds the GitHub workflow file compile.yml
• Updates the content of the main menu to match the menu on our website.
• Removes the link "Edit on GitHub".

Documentation compilation

• Verified that documentation compiles without warnings.

Changelog

• Updated CHANGELOG.md.

Code formatting & web optimization

• Added or updated meta descriptions.
• Updated redirects.js if necessary (guide).
• Used three-space indentation in .rst files.

Writing style

• Used bold for UI elements, italics for key terms or emphasis, and code font for Bash commands, file names, REST paths, and code.
• Followed present tense, active voice, and a semi-formal tone.
• Wrote short, clear, and concise sentences.